In this article we analyze the methodological commitments of a radical embodied cognition approach to social interaction and social cognition, specifically with respect to the explanatory framework it adopts. According to many representatives of REC, such as enactivists and the proponents of dynamical and ecological psychology, sociality is to be explained by focusing on the social unit rather than the individuals that comprise it and establishing the regularities that hold on this level rather than modeling the sub-personal mechanisms that could (...) be said to underlie social phenomena. We point out that, despite explicit commitment, such a view implies an implicit rejection of the mechanistic explanation framework widely adopted in traditional cognitive science, which, in our view, hinders comparability between REC and these approaches. We further argue that such a position is unnecessary and that enactive mechanistic explanation of sociality is both possible and desirable. We examine three distinct objections from REC against mechanistic explanation, which we dub the decomposability, causality and extended cognition worries. In each case we show that these complaints can be alleviated by either appreciation of the full scope of the mechanistic account or adjustments on both mechanistic and REC sides of the debate. (shrink)

Social robots are gradually entering children’s lives in a period when children learn about social relationships and exercise prosocial behaviors with parents, peers, and teachers. Designed for long-term emotional engagement and to take the roles of friends, teachers, and babysitters, such robots have the potential to influence how children develop empathy. This article presents a review of the literature in the fields of human–robot interaction, psychology, neuropsychology, and roboethics, discussing the potential impact of communication with social robots on children’s social (...) and emotional development. The critical analysis of evidence behind these discussions shows that, although robots theoretically have high chances of influencing the development of empathy in children, depending on their design, intensity, and context of use, there is no certainty about the kind of effect they might have. Most of the analyzed studies, which showed the ability of robots to improve empathy levels in children, were not longitudinal, while the studies observing and arguing for the negative effect of robots on children’s empathy were either purely theoretical or dependent on the specific design of the robot and the situation. Therefore, there is a need for studies investigating the effects on children’s social and emotional development of long-term regular and consistent communication with robots of various designs and in different situations. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 37.1 (2004) 1-20 [Access article in PDF] Endoxa, Epistemological Optimism, and Aristotle's Rhetorical Project Ekaterina V. Haskins Communication Department Boston College Aristotle's crucial role in institutionalizing the art of rhetoric in the fourth century BCE is beyond dispute, but the significance of Aristotle's rhetorical project remains a point of lively controversy among philosophers and rhetoricians alike. There are many ways of reading and evaluating Aristotle's (...) Rhetoric that depend on the philosophical, theoretical, and pedagogical purposes of the scholar.1 Most philosophical and rhetorical exegeses of the Rhetoric, however, while focusing on the text's connections to Aristotle's corpus and to the rhetorical tradition before and after Aristotle, seem to lack a critical perspective on Aristotle's relationship with his cultural context. Yet, like other parts of Aristotle's encyclopedic intellectual endeavor, much of Rhetoric 's cultural content was provided by endoxa, "reputable or received opinions."Since G. E. L. Owen's essay "Tithenai ta phainomena" (1961) many scholars have accepted the claim that endoxa, rather than empirical observations, are the source of Aristotle's own philosophical principles. The "linguistic" turn within Aristotelian studies has drawn attention to the role of "facts" of language and ordinary experience within Aristotle's philosophical method. As a result, a view of Aristotle as a hard-core empiricist has given way to a picture of a humanist who is attuned to the nuances of his cultural milieu. Still, this new portrait fails to take into account that Aristotle's manner of selecting and categorizing his linguistic resources allows him to transform what we would consider cultural beliefs into natural, and hence, atemporal premises. This pattern can be explained by Aristotle's "epistemological optimism," in itself a blend of several cultural assumptions about perception in general and vision in particular, the function of language, and the cyclical nature of human history. Part of this essay's objective, then, will be an explanation of these components of Aristotle's epistemological optimism. By appreciating Aristotle's difference [End Page 1] on these issues from our modern assumptions, we will be in a better position to understand why Aristotle relies on endoxa on all three levels of philosophical discourse (theoretical science, moral philosophy, and productive arts of poetics and rhetoric). Aristotle remains consistent in his treatment of endoxa throughout; rhetoric, however, presents a major challenge to Aristotle's epistemological optimism and his conception of language. I shall argue that Aristotle recognized this challenge and that he answered it by isolating proofs and rhetorical genres from their linguistic medium (lexis ), and postulating linguistic transparency (sapheneia ) as a stylistic norm. I. Aristotle's openness to appearances (phainomena ) and opinions (endoxa ) was accorded prominence especially thanks to the work of G. E. L. Owen and Martha Nussbaum. Owen was first to defend a linguistic translation of Aristotle's phainomena as "ordinary beliefs" and "appearances" against the then-prevalent rendition "observed facts." In so doing he asserted the crucial impact of the philosopher's cultural context on the formation of speculative discourse. Owen (1961) nonetheless demanded that phainomena be understood as empirical observations in Aristotle' treatises on biology and meteorology (84-86), so as to preserve the methodological and epistemological distinctions between inquiries into the natural world, on the one hand, and the world inhabited by human agents, on the other. Nussbaum (1986) went much further than Owen in asserting the role of phainomena and endoxa in Aristotle's inquiry. Unlike Owen, Nussbaum sees no fundamental difference between "experiences" of a philosopher and linguistic expressions of cultural beliefs and interpretations—his discursive data—from which Aristotle constructs his philosophical accounts. Nussbaum's chief (and highly influential) claim is that Aristotle's method is marked by a deep concern for the experiential world of his fellow men and their language. Aristotle's philosophical insights into the human condition, on this reading, echo and amplify classical Greek tragedy, despite the austere diction of Aristotle's extant treatises.Owing to this openness to the world of ordinary beliefs, Aristotle seems to depart from the Eleatic and Platonic distrust of human... (shrink)

Defining the degree of categoricity of a computable structure ${\mathcal{M}}$ to be the least degree d for which ${\mathcal{M}}$ is d-computably categorical, we investigate which Turing degrees can be realized as degrees of categoricity. We show that for all n, degrees d.c.e. in and above 0 (n) can be so realized, as can the degree 0 (ω).

The term dunamis, by which Aristotle defines rhetoric in the first chapter of The Art of Rhetoric, is a "power" term, as its various meanings in Aristotle's corpus—from vernacular ones like "political influence" to strictly philosophical ones like "potentiality"—attest.1 In the Rhetoric, however, dunamis is usually translated as "ability" or "faculty," a designation that, compared to other terms that describe persuasion in ancient Greek poetics and rhetoric (such as "bia" ["force"] or "eros" ["seduction"]), marks rhetoric as a neutral human capacity (...) rather than the use of language entangled in the vagaries of violence and desire.2 John Kirby calls Aristotle's definition "one of the boldest moves in the history of .. (shrink)

In this topical section, we highlight the next step of research on modeling aiming to contribute to the emerging literature that radically refrains from approaching modeling as a scientific endeavor. Modeling surpasses “doing science” because it is frequently incorporated into decision-making processes in politics and management, i.e., areas which are not solely epistemically oriented. We do not refer to the production of models in academia for abstract or imaginary applications in practical fields, but instead highlight the real entwinement of science (...) and policy and the real erosion of their boundaries. Models in decision making – due to their strong entwinement with policy and management – are utilized differently than models in science; they are employed for different purposes and with different constraints. We claim that “being a part of decision-making” implies that models are elements of a very particular situation, in which knowledge about the present and the future is limited but dependence of decisions on the future is distinct. Emphasis on the future indicates that decisions are made about actions that have severe and lasting consequences. In these specific situations, models enable not only the acquisition of knowledge (the primary goal of science) but also enable deciding upon actions that change the course of events. As a result, there are specific ways to construct effective models and justify their results. Although some studies have explored this topic, our understanding of how models contribute to decision making outside of science remains fragmentary. This topical section aims to fill this gap in research and formulate an agenda for additional and more systematic investigations in the field. (shrink)

The research is devoted to a discussion of social and humanitarian problems associated with tectonic changes in human life against the backdrop of total digitalization. The author's attention is focused on the uniqueness of the modern situation: never before have innovative technologies had the ability to penetrate so rapidly and deeply into the foundation of modern society, have they become so widespread and accessible to almost all peoples and cultures. At the same time, the undeniable public good and the most (...) serious threats to society that digital reality technologies bring with them are in a very close relationship. This is especially true for artificial intelligence systems. Innovations transform the entire world order, bringing radical changes not only to the material sphere of life, but also to the spiritual and moral state of a person. The research notes that the introduction of information and communication technologies into the life of modern society occurs without reliable support on the results of preliminary experimental research, without taking into account a deep professional and responsible assessment of the social and psychological consequences of their impact on the individual and on society as a whole. As a result, at this stage, society is constantly faced with many negative aspects of the impact of high-tech means. The work examines some of them: a decrease in cognitive and analytical abilities, the devaluation of human labor, the criminalization of cyberspace, the spread of Deepfake technology. Particular attention is paid to the problem associated with the possibility of using information technology as a tool of psychological influence. Information and psychological warfare is implemented on the basis of social networks and artificial intelligence technologies, which provides the enemy with the opportunity to achieve superiority without the use of military force. Information and humanitarian actions in cyberspace, carried out by Western countries in order to destabilize our society, destroy its value foundations, reformat the consciousness, worldview and spiritual and moral qualities of citizens, are becoming increasingly large-scale and aggressive. The work notes that digitalization is gaining momentum, plunging society deeper into new circumstances and requiring decisive action aimed at overcoming the many threats specific to the modern high-tech era. (shrink)

We study the complexity of the isomorphism relation on classes of computable structures. We use the notion of FF-reducibility introduced in [9] to show completeness of the isomorphism relation on many familiar classes in the context of all ${\mathrm{\Sigma }}_{1}^{1}$ equivalence relations on hyperarithmetical subsets of ω.

The article focuses on those paragraphs of the famous text Spiritual Situation of our Time by Karl Jaspers in which he approaches the problem of time from the perspective of philosophical anthropology. This text was published in 1931 and saw multiple editions, including the reprint in 1947, which followed the lecture The Question of Guilt. We surmise from this juxtaposition of texts in the new publication that Jaspers believed in the necessity to revisit the problem of the spiritual situation, but (...) he also regarded his conceptualization of temporality viable in the new context and applicable to analyzing this new situation. We corroborate this hypothesis by close reading of the version of the 1947 text. As there exists a wealth of studies of Jasperss philosophy, we aim to explicate his interpretation of personal historicity and to find a reply to the question why it seems necessary to emphasize the appropriation of time. We demonstrate that the existentialist approach Jaspers offers is a universal model for living in the spiritual situation and for appropriating time. The need to appropriate time is inherent in human nature but the capacity to make sense of it and unravel the potential for authentic existence is not. Human beings are often unaware of their choice of certain time appropriation; moreover, human beings lack consistency in constructing the context of their own historicity. We elaborate in greater detail on the meaning of such concepts as spiritual situation, knowledge of the totality, philosophical life. (shrink)

The study of Borel equivalence relations under Borel reducibility has developed into an important area of descriptive set theory. The dichotomies of Silver [20] and Harrington, Kechris and Louveau [6] show that with respect to Borel reducibility, any Borel equivalence relation strictly above equality on ω is above equality on , the power set of ω, and any Borel equivalence relation strictly above equality on the reals is above equality modulo finite on . In this article we examine the effective (...) content of these and related results by studying effectively Borel equivalence relations under effectively Borel reducibility. The resulting structure is complex, even for equivalence relations with finitely many equivalence classes. However use of Kleene’s O as a parameter is sufficient to restore the picture from the noneffective setting. A key lemma is that of the existence of two effectively Borel sets of reals, neither of which contains the range of the other under any effectively Borel function; the proof of this result applies Barwise compactness to a deep theorem of Harrington establishing for any recursive ordinal α the existence of singletons whose α-jumps are Turing incomparable. (shrink)

For a computable structure $\mathcal {M}$, the categoricity spectrum is the set of all Turing degrees capable of computing isomorphisms among arbitrary computable copies of $\mathcal {M}$. If the spectrum has a least degree, this degree is called the degree of categoricity of $\mathcal {M}$. In this paper we investigate spectra of categoricity for computable rigid structures. In particular, we give examples of rigid structures without degrees of categoricity.

We study the structure of Σ11 equivalence relations on hyperarithmetical subsets of ω under reducibilities given by hyperarithmetical or computable functions, called h-reducibility and FF-reducibility, respectively. We show that the structure is rich even when one fixes the number of properly equation imagei.e., Σ11 but not equation image equivalence classes. We also show the existence of incomparable Σ11 equivalence relations that are complete as subsets of ω × ω with respect to the corresponding reducibility on sets. We study complete Σ11 (...) equivalence relations and show that existence of infinitely many properly Σ11 equivalence classes that are complete as Σ11 sets is necessary but not sufficient for a relation to be complete in the context of Σ11 equivalence relations. (shrink)

LetEbe a computably enumerable equivalence relation on the setωof natural numbers. We say that the quotient set$\omega /E$realizesa linearly ordered set${\cal L}$if there exists a c.e. relation ⊴ respectingEsuch that the induced structure is isomorphic to${\cal L}$. Thus, one can consider the class of all linearly ordered sets that are realized by$\omega /E$; formally,${\cal K}\left = \left\{ {{\cal L}\,|\,{\rm{the}}\,{\rm{order}}\, - \,{\rm{type}}\,{\cal L}\,{\rm{is}}\,{\rm{realized}}\,{\rm{by}}\,E} \right\}$. In this paper we study the relationship between computability-theoretic properties ofEand algebraic properties of linearly ordered sets realized (...) byE. One can also define the following pre-order$ \le _{lo} $on the class of all c.e. equivalence relations:$E_1 \le _{lo} E_2 $if every linear order realized byE1is also realized byE2. Following the tradition of computability theory, thelo-degrees are the classes of equivalence relations induced by the pre-order$ \le _{lo} $. We study the partially ordered set oflo-degrees. For instance, we construct various chains and anti-chains and show the existence of a maximal element among thelo-degrees. (shrink)

Is there a unique way to de-idealize models? If not, how might the possible ways of reducing the distortion between models and reality differ from each other? Based on an empirical case study conducted in financial markets, this paper discusses how a popular valuation model (the Discounted Cash Flow model) idealizes reality and how the market participants de-idealize it in concrete market situations. In contrast to Cartwright's view that economic models are generally over-constrained, this paper suggests that valuation models are (...) under-constrained. This serves as the reason why the relaxation of simplifying assumptions and concretization do not work as methods of de-idealization. The paper finds that financial market participants de-idealize models using commentary that takes the form of judgment. As a conclusion, a hypothesis is formulated that proposes that the more underdetermined the model is the bigger role narrative and other pragmatic elements play in the process of model application. (shrink)

The purpose of this study is to determine the features of creating integrated courses using a foreign language for university students. Achieving this goal requires solving the problems of developing a conceptual framework for the use of a foreign language in integrated courses in the educational process at the university. The article presents and analyzes: the definition, classification, typology, main characteristics and advantages of the work of a teacher with students in the university within the framework of an integrated course. (...) The conclusions of the study allowed us to present some of the most important features of the educational subjects working in the framework of an integrated course at the university. (shrink)

The rapid uptake of digital technologies is constantly transforming the modern culture of sports spectating; however, relatively little is known about the impact of digitalization on the changing face of global sports-consuming audiences, particularly from a qualitative perspective. In this article, the relationship between modern mass digital technologies and audiences of sports spectators is described and explained by taking a customer-centric approach to grounded theory using a literature review and in-depth qualitative semi-structured interviews with sports marketing, management, and technology professionals. (...) The qualitative approach permits the gathering of in-depth insights into a problem, generates new concepts through data synthesis and analysis, and captures changing attitudes within the sports industry. Moreover, the qualitative approach to research is not bound by the limitations of quantitative methods and focuses on the primary questions of “how” and “why” digital technology’s mass deployment and diffusion have transformed content consumption in the sports industry. The analysis first systematizes and codes the collected data. Second, all the materials are iteratively read and the key points are outlined. Using the iterative analysis, the theoretical and empirical insights and findings are synthesized in order to achieve the results. Finally, dimensions of the transformation of sports spectators’ consumption are identified and explained. The research implications highlight “how” and “why” modern digital technologies have changed the sports-consuming audience by making it more inclusive in terms of age, gender, demographics, social and health status. These findings are useful for sport managers to better understand their audiences and processes in an ever-changing global society. (shrink)

Purpose: The main purpose of this article is to show that the paradigm of viewing the ‘hard problem’ of consciousness in analytic philosophy makes it a pseudo-problem rather than a ‘hard problem’. The objectives of this research included showing the reasons for the authors’ thesis, demonstrating the irreducibility of consciousness as a special layer of reality, and proposing a way to overcome these difficulties. Design/methodology/approach: In this article, the ‘hard problem’ of consciousness is viewed from the standpoints of the transcendental-phenomenological (...) and dialectical approaches and is analyzed through the prism of the principle of onto-gnoseological uncertainty. Findings: It is shown that the way of formulating the ‘hard problem’ in the analytical philosophical tradition inevitably makes it a pseudo-problem. At the same time, with the consistent realization of the principle of onto-gnoseological uncertainty, the antinomy of solutions to the problems of consciousness is eliminated, which opens up a way to a productive solution of problems related to the interpretation of consciousness both in natural sciences and in philosophy. Originality/value : This research reveals the methodological potential of applying the principle of onto-gnoseological uncertainty to the problems that arise in modern philosophy in connection with the achievements of natural sciences. (shrink)

In the present-day information burst and information revolution epoch the mankind must realize the adaptation to the new conditions of its existence in the limited time. The most important problem is the problem of the human being successful adaptation to the modern information medium. The information medium is the factor demanding absolutely new adaptation of human being. Modern information medium specific character leads to correction of existing nature and social human being adaptation mechanisms and creation of new mechanisms. Information technologies (...) as a modern civilization core change not only quality and substance of present time human being life, but they threaten to transformate his way of existence in the modern world. (shrink)

I analyze in this article the different ways in which Descartes uses abstraction in the Regulæ, discussing his project of a mathematical physics, the role of the imagination, and the status of numbers. I also try to show that the doctrine of simple natures cannot be well accommodated with the theory of abstraction developed in Rule 14, having instead a greater affinity with Descartes’ later theory of abstraction and exclusion, in which imagination plays no role and everything happens at a (...) strictly intellectual level. This interpretation is supported by the recent discovery of the Cambridge manuscript, which almost certainly records an early stage of composition and in which the doctrine of simple natures is absent, thus being very probably a later development. (shrink)

In the current debate there are two epistemological approaches to the definition of ignorance: the Standard View and the New View. The former defines ignorance simply as not knowing, while the latter defines it as the absence of true belief. One of the main differences between these two positions lies in rejecting (Standard View) or in accepting (New View) the factivity of ignorance, i.e., if an agent is ignorant of φ, then φ is true. In the present article, we first (...) provide a criticism of the Standard View in favour of the New View. Secondly, we propose a formal setting to represent the notion of factive ignorance. (shrink)

The article aims to show that the task of grounding categorial constituents in the specific founded acts of perception yields the problem field of phenomenological inquiry, within the framework of which remains Heidegger’s project of fundamental ontology. To achieve this goal the article reconstructs, first, the problem of the possibility of a priori correspondence between meaning and intuition of the intentional act; second, the phenomenological justification of extension of the traditional concept of truth, as a result of which truth characteristic (...) expands to intentional acts structured in a certain way, namely acts of total agreement between meaning and intuition (identification acts); third, the problem of the “categorial” in the phenomenological analysis of perception, which includes the extension of the concept of perception, limited in transcendental philosophy to the area of sensible intuitions, and justification of the specific categorial acts. On this basis, the article demonstrates that (1) phenomenology in a certain sense continues the project of transcendental philosophy, but the idea of a priori correspondence between notion and intuition within the framework of structural analysis of intentionality forms a new research problem. (2) The phenomenological understanding of truth in terms of the dynamics of empty and filled meaning intention is significant for the concept of truth presented by Heidegger in Being and Time. Heidegger explicates the concept of the truth in fundamental ontology based on the idea of identification. (3) The extension of the concept of object to its categorial constitution justified by Husserl provides fundamental ontology with the research subject. Heidegger interprets the categories, phenomenally represented in acts of categorial intuition, as a priori structures of the being of beings. The study also ascertains that new concepts of Husserl’s phenomenology saturate the conceptual framework of fundamental ontology. However, Heidegger also rethinks the key concepts of phenomenology in accordance with objectives which are different from the original objectives of the project of phenomenology designed by Husserl. (shrink)

Introduction. Digital transformation transforms all spheres of society. Digital technologies are gradually changing the interaction between producers and consumers, creating new forms of communication. The priorities of individual consumption have become of greater importance for public relations. Consumption is being individualized as the consumption of meanings, and not just the functions of things and services. Prosumers are being emerged, joint and responsible consumer practices — sharing, recycling, etc. are being spread. In the context of digitalization, the need for a person (...) to create a “demand for himself” in order to be recognized / to be let into social relations (work, family, friendship, hobbies, etc.) is actualized. A brand as a sociocultural phenomenon and its functions are undergoing significant changes under the influence of digitalization. The purpose of the study is to identify and characterize the social functions of the brand in a situation of total digitalization. Methods. The author uses general scientific methods — analysis, comparison, generalization, classification. Classification of the brand function is carried out on the basis of structural and functional analysis and a systematic approach. Scientific novelty of the study. The article presents the specifics of functioning of the brand as a sociocultural phenomenon of the consumer society in the context of digitalization. The author identifies and characterizes social functions of the brand in the digital space. Results. Consumption in the digital space is characterized by the growing importance of not only the manufacturer’s activity, but also the cultural-creative practices of consumers that set trends in the digital and material market, determine and create Web 2.0 Internet content. Brands, due to their symbolic nature, have actualized their functions in the digital environment. Conclusion. Brand research from the standpoint of social, humanitarian and philosophical sciences can reveal its humanistic potential for developing man and society in the digital age. The social functions of the brand in the digital space contribute to the self-development of a person and the evolution of social relations due to the focus on individuality and creativity. (shrink)

In this article, we examine two philosophical theories of recognition: those of Paul Ricoeur and Alexandre Kojève. We trace this line of development in the theory of recognition as a return from Ricoeur to Kojève. Our hypothesis is that over the past twenty years, the theory of recognition has undergone a change in content and has transformed into a theory of misrecognition. In turn, the theory of misrecognition is grounded in the struggle between subjects and brings us back to the (...) discourse of the struggle between the Slave and the Master. This transformation from struggle to reciprocity and vice versa, we argue, suggests that a theory of identity formation as a process of resistance to assujettissement is in demand at this moment in history. In the 2010s, as the theory of misrecognition took shape primarily in the English‑speaking world, the constitution of the subject began to be understood once again as the outcome of struggles within feminist, Marxist, and other emancipatory theories. We examine both Ricoeur’s arguments against Kojève, Althusser, and the theory of misrecognition in general, as well as the «return» of Kojève’s arguments in the contemporary theory of misrecognition. (shrink)

The subject of the research is utopian discourse, which unites all the variety of concepts related in one way or another to utopia, utopian dimension of reality and understanding of the Future (utopian element, utopian impulse, utopian optics, utopianism, utopian consciousness, utopian thinking, dystopia, etc.). Special attention is paid to the study of the explanatory and predictive potential of utopian discourse, identifying its boundaries and analysis of the relationship with ideological discourse. The conceptualization of utopian discourse is based on an (...) instrumental approach to utopia, which is complemented by the communicative approach and the interpretive concept of culture by K. Geertz, which justifies the possibility of considering utopian discourse as a semantic and symbolic matrix. The novelty of the research is to identify and substantiate the exaggerated dichotomy of thinking and otherness as the structure-forming elements of utopian discourse. This contributed to the assessment of utopian discourse as a peculiar but viable form of reflection of political reality and the construction, consolidation and comprehension of values. The proposed algorithm of thinking with dichotomies made it possible to trace the process of constructing utopian discourse on the basis of a pyramid of dichotomies, consisting of system-forming, key and peripheral dichotomies. The article clarifies that the otherness of utopian discourse is manifested in the historicity, radicality and inextricable connection of utopian discourse with the Present. The indicated specificity of utopian discourse has led to the clarification of the reasons for the negative and/or skeptical attitude towards utopia and utopian discourse, as well as to the definition of its strengths and weaknesses. The authors conclude that despite the identified shortcomings, which often lead utopias to periodic displacement from the framework of actual political life, utopian discourse can have a significant impact on the change and development of society. (shrink)

I assert that Bulgarian journalists recruited during communism to also serve the government as intelligence agents had the opportunity to make moral choices despite the country's dictatorship. Post-communist discussions in Bulgarian media focused on the extent of guilt of journalists who acted as spies. The three possibilities of forgetting the past, punishing those who spied, or forgiving them, are considered. The article concludes that the spy/journalists cannot be forgiven because they violated moral principles that had been vital in Eastern Europe (...) even during the communist regimes; a democratic society should rely on journalists with no history of deceiving audiences. (shrink)

The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture. One particular motivation for resolving MSC is that (...) it provides grounds for solving the inner model problem which dates back to 1960s. There have been some new partial results on MSC and the methods used to prove the new instances suggest a general program for solving the full conjecture. It is then our goal to communicate the ideas of this program to the community at large. (shrink)